Abstraction-Driven Development